Embedded Software — An Agenda for Research
نویسنده
چکیده
Embedded software is that which resides in devices that are not first-and-foremost computers. It is pervasive, appearing in vehicles, telephones, pagers, audio equipment, aircraft, appliances, toys, security systems, games, PDAs, medical diagnostics, weapons, pacemakers, television sets, video production equipment, network switches, printers, scanners, climate control systems, manufacturing systems, etc. Embedded software engages the physical world, interacting directly with sensors and actuators.
منابع مشابه
Specifying Embedded Systems with Staecharts and Z: An Agenda for Cyclic Software Components
The application of formal techniques can contribute much to the quality of software, which is of utmost importance for safety-critical embedded systems. These techniques, however, are not easy to apply. In particular, methodolog-ical guidance is often unsatisfactory. We address this problem by the concept of an agenda. An agenda is a list of activities to be performed for solving a task in soft...
متن کاملAgenda for Combustion Visualization
There are two overall goals for this project. We propose a process of discovery for the purpose of identifying and defining a research and development agenda for combustion visualization. The discovery process will involve close collaboration with the Combustion program at NERSC/ LBNL, and will dovetail with the effort proposed in a related FY99 LDRD (Bell, Brown and Colella). With such an agen...
متن کاملInteractions Model and Code Generation for J2ME Applications
The Java2 Micro Edition platform can really be considered an emerging standard for new generation embedded software. This article introduces a practical methodology aimed to automatically generate a software prototype starting from an abstract description which defines the dialogue between the user and the application by means of a device independent and abstract description. We will show how a...
متن کاملAn Agenda for Specifying Software Components with Complex Data Models
We present a method to specify software for a special kind of safetycritical embedded systems, where sensors deliver low-level values that must be abstracted and pre-processed to express functional and safety requirements adequately. These systems are characterized by a reference architecture. The method is expressed as an agenda, which is a list of activities to be performed for setting up the...
متن کاملProject Monitoring and Control in Model-driven and Component-based Development of Embedded Systems - The CARMA Principle and Preliminary Results
This position paper describes how the combination of the Model-Driven Development (MDD) and Component-Based Software Engineering (CBSE) paradigms can support project monitoring and control, and project risk reduction. The core principle for this is articulated and named CARMA, and our research agenda and preliminary results are described. Through interviews, industry input, process simulation, ...
متن کامل